수학적 방정식

대수 방정식은 다항식에 등호를 사용하여 표현된 방정식이다. 즉, 하나 이상의 변수와 상수가 덧셈, 뺄셈, 곱셈, 거듭제곱 등의 유한한 대수적 연산으로만 연결된 다항식이 0과 같거나 다른 다항식과 같다는 관계를 나타낸다. 가장 기본적인 형태는 일차 방정식과 이차 방정식이며, 삼차 방정식, 사차 방정식 등으로 확장된다.

대수 방정식의 해를 구하는 것은 대수학의 핵심 과제 중 하나이다. 해는 방정식을 참이 되게 하는 변수의 값을 의미하며, 이 값은 실수나 복소수가 될 수 있다. 예를 들어, 이차 방정식의 근의 공식은 계수를 대입하여 해를 직접 구할 수 있는 대표적인 대수적 해법이다. 그러나 갈루아 이론에 따르면, 5차 이상의 일반적인 대수 방정식은 근의 공식이 존재하지 않는다.

대수 방정식은 단일 방정식일 수도 있고, 여러 개의 방정식으로 이루어진 연립 방정식의 형태를 가질 수도 있다. 연립 방정식의 해는 주어진 모든 방정식을 동시에 만족시키는 변수들의 값의 집합이다. 이러한 방정식 체계를 푸는 방법으로는 대입법, 가감법, 그리고 행렬을 이용한 방법 등이 널리 사용된다.

대수 방정식의 개념은 기하학과 깊은 연관이 있다. 예를 들어, 좌표 평면에서 방정식의 해의 집합은 특정한 곡선이나 도형을 나타낸다. 이는 해석 기하학의 기본 아이디어로, 대수적 문제를 기하학적으로, 또는 기하학적 문제를 대수적으로 접근할 수 있는 틀을 제공한다.

미분 방정식은 하나 이상의 미지 함수와 그 도함수들 사이의 관계를 나타내는 방정식이다. 즉, 어떤 함수와 그 변화율 사이의 관계를 수학적으로 표현한 것으로, 시간에 따른 변화를 포함하는 현상을 모델링하는 데 핵심적인 도구이다. 미분 방정식은 그 속에 포함된 도함수의 최고 차수에 따라 상미분방정식과 편미분방정식으로 크게 구분된다. 상미분방정식은 하나의 독립 변수에 대한 도함수를 포함하며, 편미분방정식은 두 개 이상의 독립 변수에 대한 편미분을 포함한다.

미분 방정식은 물리학, 공학, 경제학, 생물학 등 거의 모든 과학 및 공학 분야에서 널리 응용된다. 예를 들어, 뉴턴의 운동 법칙은 속도와 가속도(위치의 시간에 대한 2계 도함수)를 통해 기술되며, 맥스웰 방정식은 전자기장의 거동을 설명한다. 또한 인구 역학 모델이나 금융공학에서의 블랙-숄즈 방정식도 미분 방정식의 대표적인 예이다.

미분 방정식의 해를 구하는 방법은 매우 다양하다. 변수 분리법, 적분 인자법, 라플라스 변환과 같은 해석적 방법이 있으며, 해석적으로 정확한 해를 구하기 어려운 경우에는 오일러 방법이나 룽게-쿠타 방법과 같은 수치해석 기법을 통해 근사적인 해를 구한다. 해의 존재성과 유일성을 보장하는 정리로는 피카르-린델뢰프 정리가 잘 알려져 있다.

적분 방정식은 미지의 함수가 적분 기호 안에 포함되어 있는 방정식이다. 즉, 구하고자 하는 함수와 그 함수의 적분 사이의 관계를 나타내는 방정식이다. 이는 미분 방정식과 밀접한 관련이 있으며, 많은 경우 서로 변환될 수 있다. 적분 방정식은 특히 물리학과 공학 분야에서 경계값 문제를 다루는 데 유용하게 사용된다.

적분 방정식은 크게 두 가지 주요 유형으로 나눌 수 있다. 첫 번째는 프레드홀름 적분 방정식으로, 적분 구간이 고정되어 있는 형태이다. 두 번째는 볼테라 적분 방정식으로, 적분의 상한 또는 하한이 변수인 형태이다. 또한, 미지 함수가 적분 기호 밖에도 있는지 여부에 따라 제1종과 제2종으로 분류되기도 한다.

이러한 방정식은 적분 변환 기법을 통해 풀거나, 이를 미분 방정식으로 변환하여 해결하는 경우가 많다. 또한, 수치해석적인 방법을 통해 근사해를 구하기도 한다. 적분 방정식은 전자기학, 양자역학, 탄성역학 등 다양한 물리적 현상을 모델링하는 데 핵심적인 도구로 활용된다.

함수 방정식은 미지수가 특정한 수치가 아닌 함수 자체인 방정식을 말한다. 즉, 방정식의 해가 하나의 숫자가 아니라, 방정식을 만족시키는 함수의 형태를 찾는 것이 목표이다. 예를 들어, 함수 f(x)에 대해 f(x+y) = f(x) + f(y)와 같은 조건을 주고, 이를 만족하는 모든 함수 f를 찾는 문제가 여기에 해당한다. 이러한 문제는 종종 함수가 가져야 할 기본적인 성질, 예를 들어 가산성이나 곱셈성 등을 규정하는 형태로 주어진다.

함수 방정식은 순수 수학의 여러 분야에서 중요한 주제로 다루어진다. 대수학에서는 군의 표현론이나 함수해석학에서 연산자의 성질을 규명할 때, 기하학에서는 거리나 각도를 보존하는 변환(등거리 변환)을 찾는 문제와 연결되기도 한다. 또한, 확률론과 통계학에서 특정 분포를 만족시키는 함수를 찾는 과정에서도 등장한다. 이처럼 함수 방정식은 수학적 구조의 근본적인 성질을 탐구하는 강력한 도구로 활용된다.

함수 방정식의 해법은 문제의 형태에 따라 크게 달라진다. 가장 기본적인 접근법은 특정한 함수 클래스(예: 연속함수, 미분가능한 함수)를 가정하고 방정식을 푸는 것이다. 때로는 변수를 특정 값으로 치환하거나, 방정식을 반복적으로 적용하여 점화식을 얻는 등의 기법이 사용된다. 코시 함수 방정식은 가장 유명한 예시 중 하나로, 위에서 언급한 f(x+y) = f(x) + f(y)를 만족하는 함수가 특정 조건 하에서 일차함수 꼴임이 알려져 있다. 이러한 해법은 함수의 성질에 대한 깊은 통찰을 요구한다.

부등식은 두 수학적 표현의 크기나 순서를 비교하는 관계를 나타내는 수학적 명제이다. 방정식이 등호(=)를 사용하여 양변이 같음을 나타내는 것과 달리, 부등식은 부등호(>, <, ≥, ≤, ≠)를 사용하여 한쪽이 다른 쪽보다 크거나, 작거나, 같지 않음을 표현한다. 이는 변수가 특정 범위 내의 값을 가질 수 있음을 의미하며, 방정식이 특정한 '점'을 찾는 문제라면, 부등식은 '구간'이나 '영역'을 찾는 문제로 확장된다.

부등식은 크게 일변수 부등식과 다변수 부등식으로 나눌 수 있으며, 표현식의 형태에 따라 선형 부등식, 이차 부등식, 유리 부등식, 절댓값 부등식 등 다양한 종류가 있다. 특히 선형 부등식의 해는 수직선 위에서 구간으로 나타낼 수 있고, 이차 부등식의 해는 이차 함수의 그래프와 x축의 위치 관계를 통해 판별할 수 있다. 다변수 부등식, 예를 들어 두 개의 변수를 가진 선형 부등식은 좌표평면 상에서 반평면 영역을 정의한다.

부등식은 최적화 문제와 깊은 연관이 있다. 선형 계획법은 여러 선형 부등식으로 정의된 제약 조건 하에서 목적 함수의 최댓값이나 최솟값을 찾는 방법으로, 경영과학, 경제학, 물류 등 다양한 분야에서 자원 배분과 효율 극대화를 위해 활용된다. 또한 삼각부등식이나 코시-슈바르츠 부등식과 같은 절대부등식은 해석학과 기하학에서 중요한 이론적 도구로 사용된다.

방정식의 해는 방정식을 참이 되게 하는 미지수의 값 또는 함수를 의미한다. 모든 방정식이 해를 가지는 것은 아니며, 해가 존재하더라도 그 수가 유일할 수도 있고 무수히 많을 수도 있다. 따라서 방정식을 다룰 때는 먼저 해의 존재성과 유일성을 확인하는 것이 중요하다.

해의 존재성은 주어진 방정식이 적어도 하나의 해를 가질 조건을 탐구한다. 예를 들어, 실수 범위에서 x^2 + 1 = 0과 같은 방정식은 해가 존재하지 않는다. 반면, 대수학의 기본 정리는 복소수 범위에서 n차 다항식 방정식은 적어도 하나의 복소수 해를 가짐을 보장한다. 미분 방정식의 경우, 피카르-린델뢰프 정리와 같은 정리들이 특정 조건 하에서 해의 존재성을 입증한다.

해의 유일성은 방정식의 해가 오직 하나뿐임을 의미한다. 선형 연립방정식의 경우, 행렬의 계수와 랭크를 분석하여 해가 유일하게 존재하는지, 무수히 많은 해를 가지는지, 또는 해가 없는지를 판별할 수 있다. 부등식의 해는 일반적으로 하나의 값이 아닌 구간으로 나타나며, 이는 유일한 해가 아닌 해의 집합을 다루는 경우에 해당한다.

해의 존재성과 유일성을 보장하는 정리들은 방정식의 유형에 따라 다양하게 존재하며, 해석학과 위상수학의 개념들을 활용하여 증명된다. 이러한 이론적 토대는 방정식에 대한 수치적 또는 해석적 해법을 적용하기 전에 그 의미와 타당성을 검토하는 데 필수적이다.

대수적 해법은 방정식의 해를 구하기 위해 대수적 조작을 사용하는 방법이다. 이 방법은 주로 대수 방정식에 적용되며, 방정식의 양변에 동일한 연산을 가하거나 식을 변형하여 미지수의 값을 직접 찾는 것을 목표로 한다. 가장 기본적인 예로는 일차 방정식의 해를 구할 때 양변에서 같은 수를 빼거나 나누는 과정이 포함된다.

대수적 해법의 핵심은 방정식을 등가인 더 간단한 형태로 단계적으로 변환하는 것이다. 예를 들어, 이차 방정식의 근의 공식은 계수를 공식에 대입함으로써 해를 얻는 대표적인 대수적 해법이다. 삼차 방정식과 사차 방정식에도 유한 번의 대수적 연산으로 해를 표현할 수 있는 공식이 존재한다. 그러나 갈루아 이론에 따르면, 일반적인 오차 이상의 방정식은 대수적 해법, 즉 근의 공식으로 해를 구할 수 없다는 것이 증명되어 있다.

이 방법은 해를 정확한 값(무리수나 복소수 형태 포함)으로 표현할 수 있다는 장점이 있다. 따라서 기하학적 문제 해결이나 이론적 분석에서 널리 사용된다. 그러나 모든 방정식이 대수적으로 풀릴 수 있는 것은 아니며, 이 경우 수치적 해법이나 해석적 해법과 같은 다른 접근법이 필요하게 된다.

수치적 해법은 방정식의 정확한 해를 직접 구하는 것이 어렵거나 불가능할 때, 근사적인 해를 계산하는 방법을 말한다. 이 방법은 해석적 해법으로 풀 수 없는 복잡한 방정식, 특히 미분 방정식이나 비선형 방정식을 다룰 때 필수적이다. 수치적 해법은 컴퓨터를 이용한 알고리즘에 기반하여, 반복적인 계산을 통해 오차를 줄여가며 해에 점점 가까워지는 값을 구한다.

주요 수치 해법에는 뉴턴-랩슨 방법, 이분법, 할선법, 유한 차분법, 유한 요소법 등이 있다. 예를 들어, 뉴턴-랩슨 방법은 초기값을 설정한 후, 함수의 도함수를 이용해 접선을 그리고 그 접선이 x축과 만나는 점을 새로운 근사값으로 삼는 과정을 반복한다. 유한 요소법은 복잡한 공학적 구조물이나 유체 역학 문제를 해석할 때 널리 사용된다.

이러한 방법들은 과학 계산의 핵심을 이루며, 기상 예보, 항공기 설계, 금융 공학 모델링, 의료 영상 처리 등 다양한 현실 세계 문제를 푸는 데 응용된다. 수치적 해법의 정확도는 사용된 알고리즘, 반복 횟수, 그리고 컴퓨터의 부동소수점 연산 정밀도에 크게 의존한다.

해석적 해법은 방정식의 해를 공식이나 무한 급수, 특수 함수와 같은 닫힌 형태로 정확하게 표현하는 방법이다. 이는 근사값을 구하는 수치적 해법과는 구분된다. 해석적 해는 해의 정확한 성질을 이해하고, 해의 존재성과 유일성을 증명하며, 해가 변수나 매개변수에 어떻게 의존하는지 분석하는 데 핵심적이다. 특히 미분 방정식과 적분 방정식의 이론적 연구에서 중요한 역할을 한다.

해석적 해법은 방정식의 유형에 따라 다양한 기법이 적용된다. 대수 방정식의 경우 근의 공식을 사용하는 것이 대표적이며, 선형 미분 방정식은 지수함수, 삼각함수, 베셀 함수 등의 특수 함수를 조합하여 해를 구한다. 변수 분리법, 적분 인자법, 라플라스 변환 등은 해석적 해를 찾는 데 널리 쓰이는 기법들이다. 이러한 방법들은 해를 명시적인 수학적 표현으로 도출할 수 있다는 장점이 있다.

그러나 모든 방정식이 해석적 해를 가지는 것은 아니다. 5차 이상의 일반적인 다항식이나 비선형성이 강한 편미분 방정식 등은 해석적 해를 구하기 어렵거나 불가능한 경우가 많다. 이런 경우에는 수치해석을 통해 근사해를 구하거나, 해의 질적 성질을 연구하는 것이 일반적이다. 따라서 해석적 해법은 적용 가능한 범위 내에서 가장 강력한 도구이지만, 그 한계도 분명히 인지해야 한다.

물리학은 수학적 방정식이 자연 현상을 정량적으로 기술하고 예측하는 데 핵심적으로 응용되는 대표적인 분야이다. 물리 법칙은 대부분 하나 이상의 방정식 형태로 표현되며, 이를 통해 물체의 운동, 에너지의 흐름, 입자의 상호작용 등을 모델링한다. 예를 들어, 고전역학의 근간이 되는 뉴턴의 운동 법칙은 미분 방정식으로, 전자기학의 기본 법칙인 맥스웰 방정식은 편미분 방정식 체계로 표현된다.

특히 미분 방정식은 시간에 따른 변화를 다루는 물리학의 여러 분야에서 널리 사용된다. 양자역학에서는 시스템의 상태를 기술하는 슈뢰딩거 방정식이, 상대성이론에서는 시공간의 기하학을 설명하는 아인슈타인 방정식이 각각 핵심적인 역할을 한다. 이러한 방정식의 해를 구함으로써 입자의 파동 함수나 중력장의 구조를 계산할 수 있다.

물리학에서의 방정식은 종종 실험 및 관측 데이터와 비교되어 그 타당성이 검증된다. 열역학의 법칙이나 유체역학의 나비에-스토크스 방정식과 같은 복잡한 방정식들은 실제 현상에 대한 근사 모델을 제공하며, 많은 경우 수치 해석 기법을 통해 근사적인 해를 구하게 된다. 이처럼 방정식은 물리 이론을 구성하는 수학적 언어이자, 자연을 이해하는 강력한 도구로 기능한다.

공학 분야는 수학적 방정식이 실제 문제를 해결하는 핵심 도구로 활용되는 대표적인 응용 분야이다. 공학적 설계, 분석, 최적화 과정에서 다양한 유형의 방정식이 사용되며, 이를 통해 시스템의 거동을 예측하고 안전하고 효율적인 구조물이나 장치를 만들어낸다.

구조 공학에서는 재료의 변형과 응력을 계산하기 위해 연립 방정식과 미분 방정식이 광범위하게 적용된다. 예를 들어, 다리나 빌딩과 같은 구조물에 가해지는 하중을 분석할 때는 평형 방정식과 변형률-변위 관계식이 사용된다. 전기 공학에서는 회로 내의 전압과 전류를 분석하기 위해 키르히호프의 법칙에 기반한 선형 방정식 체계를 풀어야 한다. 제어 공학에서는 시스템의 동적 특성을 모델링하고 안정성을 판단하기 위해 미분 방정식과 라플라스 변환이 필수적이다.

유체 역학, 열역학, 기계 설계 등 거의 모든 공학 세부 분야에서 방정식은 핵심 언어와 같다. 계산 구조 역학에서는 유한 요소법과 같은 수치적 해법을 통해 복잡한 편미분 방정식을 풀어 구조물의 거동을 시뮬레이션한다. 화학 공학에서는 물질 수지와 에너지 수지 방정식을 세워 공정을 설계하고 최적화한다. 이러한 방정식 기반의 모델링과 해석 없이는 현대의 첨단 건축물, 자동차, 항공기, 반도체, 발전소와 같은 복잡한 공학 시스템을 개발하는 것이 불가능하다.

경제학에서 수학적 방정식은 다양한 경제 현상을 모델링하고 분석하는 핵심 도구로 활용된다. 특히 경제 이론을 정량적으로 표현하고, 복잡한 경제 관계를 명확히 정의하며, 미래의 경제 변수를 예측하는 데 필수적이다. 거시경제학과 미시경제학 모두에서 방정식 체계는 시장의 균형, 소비자와 생산자의 행동, 경제 성장 등을 설명하는 기본 틀을 제공한다.

경제 모델에서 가장 흔히 등장하는 것은 대수 방정식과 미분 방정식이다. 예를 들어, 공급과 수요의 균형을 나타내는 방정식, 소비 함수나 투자 함수를 표현하는 선형 방정식은 대수 방정식의 전형이다. 한편, 시간에 따라 변화하는 경제 변수, 예를 들어 자본 축적이나 경제 성장률을 분석할 때는 미분 방정식이 사용된다. 케인즈 경제학의 승수 이론이나 성장 이론의 기본 모델들은 이러한 방정식들로 구성된다.

또한, 계량경제학에서는 방정식을 이용해 경제 이론을 통계적으로 검증하고 경제 변수 간의 실증적 관계를 추정한다. 회귀 분석은 독립 변수와 종속 변수 사이의 관계를 선형 방정식 형태로 추정하는 대표적인 방법이다. 최적화 문제, 예를 들어 기업의 이윤 극대화나 소비자의 효용 극대화 문제는 제약 조건 하에서 목적 함수를 최적화하는 방정식 체계, 즉 연립 방정식으로 풀린다.

이처럼 경제학에서 방정식은 단순한 계산 도구를 넘어 경제 행위의 논리적 구조를 형식화하고, 정책의 효과를 시뮬레이션하며, 복잡한 경제 시스템을 이해하는 데 결정적인 역할을 한다. 경제 예측 모델이나 균형 분석은 모두 견고한 수학적 방정식 위에 구축된다.

수학적 방정식은 생물학 분야에서 생명 현상을 정량적으로 모델링하고 예측하는 핵심 도구로 널리 활용된다. 특히 개체군의 성장, 질병의 확산, 생화학적 반응, 유전자 발현 패턴 등을 이해하는 데 필수적이다. 이러한 모델은 복잡한 생물학적 시스템을 단순화하여 핵심 메커니즘을 규명하고, 실험 결과를 해석하며, 미래의 변화를 예측하는 데 기여한다.

가장 대표적인 예로는 개체군 생태학에서 사용되는 로지스틱 방정식이 있다. 이 미분 방정식은 자원이 제한된 환경에서 개체군 크기의 시간에 따른 변화를 설명하며, 지수적 성장과 환경 수용력의 개념을 통합한다. 또한 역학에서 전염병의 확산을 모델링하는 SIR 모델은 감염 가능한 개체, 감염된 개체, 회복된 개체의 수를 연결하는 일련의 미분 방정식으로 구성되어 백신 접종 전략의 효과를 평가하는 데 사용된다.

분자 생물학과 생화학에서는 효소 반응 속도를 설명하는 미카엘리스-멘텐 방정식이 중요한 역할을 한다. 이 방정식은 기질 농도와 반응 속도 사이의 관계를 정의하여 효소의 특성을 규명한다. 유전학에서는 하디-바인베르크 방정식이 이상적인 집단에서 대립유전자 빈도가 세대를 거듭하며 어떻게 유지되는지를 설명하는 원리를 제시한다.

생물학적 현상은 종종 비선형적이고 복잡한 상호작용을 포함하기 때문에, 이러한 방정식들은 컴퓨터를 이용한 수치 해석을 통해 풀이되는 경우가 많다. 이를 통해 단백질 상호작용 네트워크, 신경망 활동, 생태계의 역동성과 같은 복잡계를 시뮬레이션하고 이해하는 것이 가능해졌다.

항등식은 방정식과 마찬가지로 등호를 사용하여 두 표현을 연결하지만, 그 의미와 성질에서 근본적인 차이를 가진다. 방정식이 특정 조건을 만족하는 미지수의 값, 즉 '해'를 구하는 것이 목적이라면, 항등식은 포함된 변수에 어떤 값을 대입하더라도 항상 참이 되는 등식을 의미한다. 즉, 항등식은 변수들 사이의 절대적인 관계를 표현하는 공식이나 법칙의 성격을 지닌다.

대표적인 예로 삼각함수의 기본 관계식인 sin^2 θ + cos^2 θ = 1이나, 제곱 공식인 (a+b)^2 = a^2 + 2ab + b^2 등이 있다. 이러한 식들은 변수 a, b, θ에 어떤 실수 값을 넣어도 좌변과 우변의 값이 정확히 일치한다. 이는 방정식 x + 2 = 5가 오직 x = 3일 때만 성립하는 것과 대비된다. 항등식은 대수학의 기초를 이루는 핵심 개념으로, 수학적 표현을 변형하고 단순화하는 데 필수적이다.

항등식과 방정식은 밀접하게 연관되어 있다. 예를 들어, 하나의 방정식을 풀기 위해 양변을 동일하게 변형하는 과정은 사실 항등 변환을 반복 적용하는 것이다. 또한, 미지수의 계수를 비교하여 방정식의 해를 구하는 '미정계수법'은 주어진 식이 항등식이 되어야 한다는 원리에 기반한다. 따라서 방정식의 해법을 이해하고 발전시키는 데 항등식에 대한 이해는 필수적이다.

이 개념은 기하학에서의 공식이나 물리학의 법칙을 수학적으로 표현할 때도 광범위하게 활용된다. 예를 들어, 원의 둘레 공식 C = 2πr은 반지름 r에 대한 항등식으로 볼 수 있다. 이처럼 항등식은 변수 사이에 변하지 않는 관계를 규정함으로써 수학적 모델링의 토대를 제공한다.

방정식 체계는 둘 이상의 방정식이 동시에 성립해야 하는 조건을 가진 집합을 가리킨다. 이는 연립방정식이라고도 불리며, 여러 방정식에 공통으로 포함된 미지수의 값 또는 값들의 집합을 찾는 것을 목표로 한다. 체계를 이루는 각 방정식은 하나의 제약 조건을 나타내며, 이 모든 조건을 동시에 만족시키는 해를 구해야 한다. 방정식 체계는 단일 방정식으로는 설명하기 어려운 복잡한 관계를 모델링하는 데 필수적이다.

방정식 체계는 포함된 방정식의 유형과 미지수의 개수에 따라 분류된다. 가장 기본적인 형태는 선형 연립방정식으로, 모든 방정식이 1차식으로 이루어져 있다. 이는 가우스 소거법이나 행렬을 이용한 방법으로 해를 구할 수 있다. 비선형 방정식이 포함된 체계는 해를 찾기가 훨씬 복잡해지며, 뉴턴 방법과 같은 수치적 기법이 자주 사용된다. 또한, 미분 방정식이 여러 개 결합된 연립미분방정식은 물리학과 공학에서 동역학 시스템을 설명하는 핵심 도구이다.

방정식 체계의 해는 유일할 수도, 무수히 많을 수도, 또는 존재하지 않을 수도 있다. 해가 존재하지 않는 경우를 '불능', 해가 무수히 많은 경우를 '부정'이라고 한다. 해의 존재성과 유일성을 판별하는 것은 선형대수학에서 중요한 주제이며, 계수 행렬의 랭크와 행렬식 같은 개념이 이를 분석하는 데 사용된다. 방정식 체계의 이론은 최적화 문제, 회귀 분석, 네트워크 이론 등 현대 수학과 그 응용 분야의 광범위한 영역에 걸쳐 깊이 연관되어 있다.

변수는 수학적 방정식에서 특정한 값을 나타내는 기호 또는 문자이다. 방정식 내에서 그 값이 아직 정해지지 않았거나, 상황에 따라 변할 수 있는 미지의 수를 상징한다. 변수를 사용함으로써 일반적인 관계를 표현하고, 다양한 상황에 적용 가능한 수학적 모델을 구성할 수 있다. 방정식의 핵심 목표는 종종 이 변수의 값을 구하는 것이다.

방정식에서 변수는 보통 알파벳 끝자리인 x, y, z 등으로 표기된다. 예를 들어, 일차방정식 '2x + 3 = 7'에서 변수 x는 미지수를 나타내며, 이 방정식을 풀면 x = 2라는 해를 얻게 된다. 대수 방정식에서는 변수의 거듭제곱에 따라 방정식의 차수가 결정되며, 미분 방정식이나 적분 방정식에서는 변수에 대한 함수와 그 도함수 또는 적분이 포함된다.

변수의 개념은 물리학, 공학, 경제학 등 다양한 응용 분야에서 필수적이다. 물리 법칙을 기술하는 공식에서 변수는 시간, 위치, 속도와 같은 물리량을 나타내며, 경제 모델에서는 가격, 수요량 등의 요소를 변수로 설정한다. 이렇게 변수를 통해 복잡한 현실 세계의 관계를 추상화하여 분석할 수 있다.

변수는 상수, 계수와 함께 방정식의 기본 구성 요소를 이룬다. 상수가 고정된 값을 지니는 반면, 변수는 그 값이 변화하거나 결정 대상이 된다. 또한 여러 개의 변수를 포함하는 방정식 체계를 구성하여 더 복잡한 관계를 동시에 풀어낼 수도 있다.

매개변수는 방정식에서 특정한 값을 나타내는 상수이지만, 상황에 따라 그 값이 변할 수 있는 수를 가리킨다. 방정식 내에서 미지수인 변수와는 구분되는 개념으로, 매개변수는 방정식의 형태나 성질을 결정하는 고정된 값으로 취급되지만, 다른 맥락에서는 그 자체가 변화하는 변수의 역할을 하기도 한다. 예를 들어, 직선의 방정식 y = mx + b에서 기울기 m과 y절편 b는 매개변수로, 이 값들이 정해지면 특정한 직선 하나가 결정된다.

매개변수는 방정식의 일반해를 표현하거나, 곡선이나 곡면을 묘사할 때, 또는 미분 방정식의 해를 나타낼 때 유용하게 사용된다. 기하학에서 원의 방정식 (x-a)² + (y-b)² = r²에서 중심의 좌표 (a, b)와 반지름 r은 매개변수에 해당한다. 또한 시간 t를 매개변수로 하여 점의 좌표 (x(t), y(t))를 표현하면, 평면 위의 곡선을 매개변수 방정식 형태로 기술할 수 있다.

물리학과 공학에서 매개변수는 시스템의 특성을 규정하는 핵심 상수로 자주 등장한다. 예를 들어, 진동을 다루는 방정식에서 질량, 감쇠계수, 강성계수 등은 시스템의 거동을 결정짓는 매개변수이다. 이처럼 매개변수는 추상적인 수학적 관계를 구체적인 현실 세계의 모델로 연결시키는 가교 역할을 한다.